Message destroyProfessor(Professor)(Faculty::destroyProfessor)

OperationFaculty::destroyProfessorMessage to selfNo
Senderpersistency clientReceiver--Not Named--